<?php
class Session_Exception extends Exception {
}
?>